Readはprevious stepを読む

トランザクションのConcurrency Controlにおいてあちこちの論文で出てくる公理．

命令の実行順序$ <_Hを含み，各トランザクションの$ r, wの命令を元とする順序集合であるHistory $ Hにおいて，

全てのRead operation$ r_i(x_j)は，必ず「より以前の」Write Operationを読む．つまり:

$ \forall r_i(x_j) ( r_i(x_j) \in H \to ((w_j(x_j) \in H) \land w_j(x_j) <_H r_i(x_j))

この制約が無いとどうなるか...ということはちょっと考えきれない．